1. Algorithmics :
پدیدآورنده: David Harel, with Yishai Feldman.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع:
2. Algorithmics :
پدیدآورنده: David Harel, with Yishai Feldman
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Computer algorithms
رده :
QA76
.
9
.
A43
H37
2004
3. Algorithmics
پدیدآورنده: / David Harel with the technical assistance of Roni Rosner on the exercises and solutions
کتابخانه: كتابخانه پردیس علوم (دانشگاه تهران) (تهران)
موضوع: Computer algorithms
رده :
QA
76
.
9
.
A43
H37
1992
4. Algorithmics
پدیدآورنده: / David Harel, with Yishai Feldman
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع: Computer algorithms.
رده :
QA
,
76
.
9
,.
A43
,
H37
,
2004
5. Algorithmics : the spirit of computing
پدیدآورنده: David Harel with the technical assistance of Roni Rosner on the exerci
کتابخانه: كتابخانه مركزی و مركز اطلاع رسانی دانشگاه شاهد (تهران)
موضوع: Computer algorithms
رده :
QA
،
76
،.
H2833
،
1987
6. Algorithmics: the spirit of computing
پدیدآورنده: Harel, David
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه بیرجند (خراسان جنوبی)
موضوع: ، Electronic data processing,، Algorithms
رده :
QA
76
.
H28833
1987
7. Algorithmics : the spirit of computing
پدیدآورنده: Harel, David, 0591-
کتابخانه: كتابخانه پژوهشگاه نیرو (تهران)
موضوع: ، Computer algorithms
رده :
QA
76
.
9
.
A43H37
1991
8. Algorithmics:the spirit of computing
پدیدآورنده: HAREL,DAVID
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی امیرکبیر (تهران)
موضوع: ELECTRONIC DATA PROCESSING , ALGORITHMS
رده :
QA
76
.
H2833
9. Algorithmics: the spirit of computing
پدیدآورنده: Harel, David
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه صنعتی خواجه نصير الدين طوسى (تهران)
موضوع: ، Electronic data processing,، Algorithms
رده :
QA
76
.
H28
1987
10. Algorithmik
پدیدآورنده: David Harel ; Yishai Feldman. Übers. von Micaela Krieger-Hauwede
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Algorithmische Programmiersprache,Algorithmische Programmierung,Algorithmus,Algorithmus, 0 Gesamtdarstellung.,Algorithmus.,Berechenbarkeit,Beweis,Effizienter Algorithmus,Komplexitätstheorie,Korrektheit,Programmiersprache,Programmierung,Programmierung.,Programmverifikation,Softwareentwicklung
11. Dynamic logic
پدیدآورنده: /David Harel; Dexter Kozen; Jerzy Tiuryn
کتابخانه: سازمان اسناد و كتابخانه ملی جمهوری اسلامی ایران (تهران)
موضوع:
12. Dynamic logic
پدیدآورنده: / David Harel, Dexter Kozen, Jerzy Tiuryn
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع: Computer logic.,Formal methods (Computer science)
رده :
QA
,
76
.
9
,.
L63
,
H37
,
2000
13. First-Order Dynamic Logic
پدیدآورنده: edited by David Harel.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Computer Science,Computer Science, general,Computer science.
14. First-order dynamic logic
پدیدآورنده: Harel, David
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع: ، Electronic digital computers-- Programming,، Logic, Symbolic and mathematical,، Recursion theory
رده :
QA
76
.
6
.
H34
1979
15. First-order dynamic logic
پدیدآورنده: David Harel
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: ، Computer programming,، Logic, Symbolic and mathematical,، Recursion theory
رده :
QA
76
.
L28
Vol
.
68
16. First-order dynamic logic
پدیدآورنده: Harel, David
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)
موضوع: ، Electronic digital computers - Programming,، Logic, Symbolic and mathematical,، Recursion theory
رده :
QA
76
.
L4
v
.
68
17. #Real-time UML
پدیدآورنده: #Bruce Powel Douglass , ]foreword by David Harel[
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی اصفهان (اصفهان)
موضوع: Embedded computer systems- Programming ،Real-time data processing ،Object-oriented methods )Computer science(
رده :
#
QA
،#.
D66
،#
2000
18. 22, 2009, Revised Selected Papers-Hardware and Software: Verification and Testing: 5th International Haifa Verification Conference, HVC 2009, Haifa, Israel, October 19
پدیدآورنده: / David Harel (auth.), Kedar Namjoshi, Andreas Zeller, Avi Ziv (eds.)
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع: COMPUTER SCIENCE, INFORMATION TECHNOLOGY|COMPUTER SCIENCE, SOFTWARE ENGINEERING|ENGINEERING, MULTIDISCIPLINARY
رده :
E-BOOK
19. Rzecz o istocie informatyki :
پدیدآورنده: David Harel; tł. Zbigniew Weiss, Piotr Carlson.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Algorytmy.,Informatyka.
رده :
QA76
.
9
.
A43
D385
2000
20. The science of computing : exploring the nature and power of algorithms
پدیدآورنده: David Harel
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: ، Electronic data processing,، Algorithms
رده :
QA
76
.
H28
1989
